mcsta

Benchmark
Model:ftpp v.2 (MA)
Parameter(s)N = 2, k = 2, R = True
Property:Unavailability (steady-state-prob)
Invocation (default)
mcsta/modest mcsta ftpp.2-2-true.jani --props Unavailability -O out.txt Minimal --unsafe --es -S Memory --no-partial-results --width 5e-2 --relative-width
Execution
Walltime:> 1800s (Timeout)
Log
ftpp.2-2-true.jani:model: info: ftpp.2-2-true.jani is an MA model.
ftpp.2-2-true.jani: info: Need 40 bytes per state.	
STDERR
The Modest Toolset (www.modestchecker.net), version v3.1.42-gb5e9d523c.


----------
Computation aborted after 1800.367247581482 seconds since the total time limit of 1800 seconds was exceeded.